constraint reasoning

约束推理